\begin{tabbing}
only members of $L$ read $x$
\\[0ex]$\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$ma\{\=$\otimes$;\+
\\[0ex]$\otimes$;
\\[0ex]$\otimes$;
\\[0ex]$\otimes$;
\\[0ex]$\otimes$;
\\[0ex]$\otimes$;
\\[0ex]$\otimes$;
\\[0ex]$\otimes$;
\\[0ex]$\otimes$;
\\[0ex]$\otimes$;
\\[0ex]$x$ : $L$;
\\[0ex]$\otimes$\}
\-
\end{tabbing}